interdeducible formulas

дедуктивно равные формулы

translation formulas — формулы переноса осей координат

mind compact of formulas — голова, забитая формулами

congruous formulas — конгруэнтные формулы

reduction formulas — формулы приведения